RésuméCette première étude permet notamment de dégager ce résultat épistémologique: les différentes formes d’“inférence co-relationnelle” connues dans la jurisprudence islamique sous le nom de qiyās représentent une forme innovante et sophistiquée de raisonnement qui permet non seulement d'avoir une conception épistémologique plus claire du raisonnement légal en général, mais aussi de produire une mécanique bien huilée pour le “raisonnement parallèle”; cette mécanique du “raisonnement parallèle” peut être déployée selon un large spectre dans différents cadres de résolution de problèmes et ne (...) semble pas se réduire aux formes standard de l'argumentation analogique étudiées en philosophie des sciences contemporaine. Nous n'aborderons cependant dans la présente étude que le cas de la dénommée “inférence co-relationnelle du facteur occasionnel”, et ce seulement dans le contexte de la jurisprudence islamique. (shrink)

One of the epistemological results emerging from this initial study, is that the different forms of co-relational inference, known in the Islamic jurisprudence as qiyās represent an innovative and sophisticated form of reasoning that not only provide new epistemological insights of legal reasoning in general but they also furnish a fine-grained pattern for parallel reasoning that can be deployed in a wide range of problem-solving contexts and that does not seem to reduce to the standard forms of analogical argumentation studied (...) in contemporary philosophy of science. More specifically the main claim is that a dialectical framework provides the right instrument to stress two of the most salient features of this form of inference: (1) it's heuristic nature and (2) the dynamics underlying the meaning-explanation of the terms involved. Both display what we take to be the main epistemological idea behind the qiyās, namely: the open texture of the meaning of normative statements. To put it more generally, the notion of co-relational inference suggests that every form of parallel reasoning based on meaning presupposes that the concept of meaning involved is open to contextual changes. Moreover the latter indicates that the whole process deployed is intrinsically dialectic. (shrink)

This monograph proposes a new way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning (...) studied in contemporary philosophy of science and argumentation theory. After an overview of the emergence of qiyās and of the work of al-Shīrāzī penned by Soufi Youcef, the authors discuss al-Shīrāzī’s classification of correlational inferences of the occasioning factor. The second part of the volume deliberates on the system of correlational inferences by indication and resemblance. The third part develops the main theoretical background of the authors’ work, namely, the dialogical approach to Martin-Löf's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general. (shrink)

The purpose of this study is to understand how leader humility effectively stimulates follower creativity in the workplace during the coronavirus disease 2019 scenario. Relying on social cognitive and social information processing theories, this study investigates how leader humility cultivates follower self-efficacy and follower creativity. Furthermore, it explores an intervening mechanism of follower self-efficacy and examines a moderating role of leader proactive personality. The hypothesized model is empirically tested by collecting the data from 405 employees and 87 managers working in (...) the banking sector of Pakistan. The results indicate that leader humility is positively related to follower self-efficacy and follower creativity, which improve the organization’s innovation climate and an environment for social sustainability. Follower self-efficacy is also significantly related to follower creativity. The mediation analysis shows that follower self-efficacy mediates the relationship between leader humility and follower creativity. Additionally, leader proactive personality moderates the relation between follower self-efficacy and follower creativity. This study highlights the importance of leader humility for creativity and extends the literature by explaining the role of self-efficacy. Furthermore, the findings may assist the policymakers in how a humble leader heightens employee creativity and social sustainability in COVID-19. (shrink)

Muhammad Arsyad Al-Banjari who lived from 1710 to 1812 in Borneo, Indonesia, applied a model of integrating uses of the Banjarese tradition into Islamic Jurisprudence based on a dialectical constitution of qiyās, the legal argumentation theory for parallel reasoning and analogy, he learned from the Shāfi‘ī-school of jurisprudence (uṣūl al-fiqh). Our paper focuses in the model of integration proposed and practiced by Al-Banjari, a rational debate grounded on a dynamic view on legal systems. We will illustrate the method with the (...) help of two different kinds of qiyās deployed by Al-Banjari in order to argue for the rejection of some traditional Banjarese offering-rituals for avoiding disease or calamities (manyanggar and mambuang pasilih), and for the acceptance of the use of consuming the traditional drink called lahang made of the juice of sugar-palm. As our dialogical reconstruction shows, the development of the debates, particularly the first one, is quite sophisticated, with a Banjarese opponent that does not surrender easily to the rejection of his use of those rituals. (shrink)

Automatic incident detection plays a vital role among all the safety-critical applications under the parasol of Intelligent Transportation Systems to provide timely information to passengers and other stakeholders in smart cities. Moreover, accurate classification of these incidents with respect to type and severity assists the Traffic Incident Management Systems and stakeholders in devising better plans for incident site management and avoiding secondary incidents. Most of the AID systems presented in the literature are incident type-specific, i.e., either they are designed for (...) the detection of accident or congestion. While traveling along the road, one may come across different types of traffic incidents, such as accidents, congestion, and reckless driving. This necessitates that the AID system detects and classifies not only all the popular traffic incident types, but severity as well that is associated with these incidents. Therefore, this study aims to propose an efficient incident detection and classification framework for smart cities, by incorporating the efficacy of model stacking, to classify the incidents with respect to their types and severity levels. The experimental results showed that the proposed E-IDC framework achieved performance gains of 5%–56% in terms of incident severity classification and 1%–14% in terms of incident type classification when applied with different classifiers. We have also applied the Wilcoxon test to benchmark the performance of our proposed framework that reflects the significance of our approach over existing individual incident predictors in terms of severity and type classification. Moreover, it has been observed that the proposed E-IDC framework outperforms the existing ensemble technique, such as XGBoost used for the classification of incidents. (shrink)

The study is based on validating and exploring the effects of a mega project plan on infrastructure development and Sustainable Project Management. The CPEC has great importance to infrastructure development and economy-boosting. The current study's primary aim is to deal with environmental protection, economic boost up, international relations influencing to the Project's success. The paper also addressed project management as a moderator between environmental protection, economic boost up, international relations, and the CPEC project's success. The primary data has been gathered (...) by using questionnaires, and PLS-SEM has been employed for the analysis. The results revealed that environmental protection, economy boost up, and international relations have a positive association with the success of CPEC. The outcomes also exposed that project management moderating among the nexus of economy boosts up the international relations and success of CPEC. The present study results guided how Pakistan and China make the CPEC project stronger with the efficient implementation of practices required for protecting the environment, with the economic growth and boost up, and good strong relations with foreign countries. This study was an attempt to validate the different factors to check their association with each other in a new environment, resulting in a leading edge for the success of mega projects that influence project management. (shrink)

Cryptocurrency has revolutionized the economic system of the world. It provides a new and innovative means of exchange that has speedily invaded the financial market trends and changed the traditional cash world. However, consumers have low acceptability for blockchain-based cryptocurrency due to increasing online scams and the absence of a regulatory framework. There is also a misconception about its usage on many platforms, which has created a clear gap in the literature to address this issue. Therefore, the current study intends (...) to investigate the effect of technology awareness on the behavioral intention of crypto users through perceived factors. It also empirically examines the moderating role of government support on these indirect paths. The underlying framework is investigated by surveying 333 respondents from the Z generation. Results revealed that perceived factors mediate the relationship between technology awareness and behavioral intention. Furthermore, government support strengthens the indirect relationship of technology awareness on behavioral intention through technology acceptance determinants, such that the effect of technology awareness on behavioral intention through perceived factors is more assertive when government support is high. The findings will provide a new dimension to different financial bodies implementing monetary policy and highlight the need to adopt innovative digital technologies in Pakistan. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

Nowadays, there is a quite considerable amount of literature on the use of analogy or more generally of inferences by parallel reasoning in contemporary legal reasoning, and particularly so within Common Law. These studies are often motivated by researches in artificial intelligence seeking to develop suitable software-support for legal reasoning. Recently; Rahman/Iqbal/Soufi (2020) developed a dialogical approach in the framework of Constructive Type Theory to what in Islamic Jurisprudence was called qiyās or correlational inferences. In their last chapter the authors (...) suggested that such an approach contributes to the study of patterns of reasoning by precedent cases within contemporary common Law. In the present paper we will further motivate the deployment within Civil and Common Law of the dialogical framework developed in Rahman/Iqbal/Soufi (2020). After a presentation of Scott Brewer's take on analogy within Common Law, that has striking structural similarities to reasoning by precedent case rooted in ratio legis (known in Islamic Jurisprudence as qiyās al-'illa or correlational inference by the occasioning factor), we will illustrate the implementation of the framework with a brief discussion of some cases of legal reasoning based in Spanish Civil Law but where the accent is put in the emerging ruling rather than in the existing of a case as in Common Law. Moreover; quite surprisingly, the case under study suggests that even cases of Law-interpretation fit the argumentation pattern of qiyās al-'illa. A caveat: in the present paper we will focus mainly in discussing the dynamics of the meaning constitution involved rather than in setting the rules of the underlying dialogical framework, the latter is the subject of a follow-up paper. (shrink)

This book reflects upon the political philosophy of Muhammad Iqbal, a towering intellectual figure in South Asian history, revered by many for his poetry and his thought. He lived in India in the twilight years of the British Empire and, apart from a short but significant period studying in the West, he remained in Punjab until his death in 1938. The book studies Iqbal's critique of nationalist ideology and his attempts to chart a path for the development of the 'nation' (...) by liberating it from the centralizing and homogenizing tendencies of the modern state structure. Iqbal frequently clashed with his contemporaries over his view of nationalism as 'the greatest enemy of Islam'. He constructed his own particular interpretation of Islam - forged through an interaction with Muslim thinkers and Western intellectual traditions - that was ahead of its time, and since his death both modernists and Islamists have continued to champion his legacy. (shrink)

_The Reconstruction of Religious Thought in Islam_ is Muhammad Iqbal's major philosophic work: a series of profound reflections on the perennial conflict among science, religion, and philosophy, culminating in new visions of the unity of human knowledge, of the human spirit, and of God. Iqbal's thought contributed significantly to the establishment of Pakistan, to the religious and political ideals of the Iranian Revolution, and to the survival of Muslim identity in parts of the former USSR. It now serves as new (...) bridge between East and West and between Islam and the other Religions of the Book. With a new Introduction by Javed Majeed, this edition of _The Reconstruction_ opens the teachings of Iqbal to the modern, Western reader. It will be essential reading for all those interested in Islamic intellectual history, the renewal of Islam in the modern world, and political theory of Islam's relationship to the West. (shrink)

Includes an introd. of 49 p. by S. G. Abbas.

This article examines two texts, each representative of a system of morality taught in nineteenth-century Ottoman morality textbooks: Risâle-i ahlâk by Sâdik Rifat and al-Risāla al-shāhiyya fī cilm al-akhlaq by cAḍud al-Dīn al-Ījī . So as to inform conclusions about the variety of moral traditions that inspired the authors of late Ottoman public school textbooks on morality, I analyse the organizing metaphors, moral rationalizations, types of moral agency, and techniques of inculcating morality utilized in these representative texts. Normally, texts such (...) as Sâdık Rifat's are taken as representing an Ottoman tradition of secular morality, whereas texts from the akhlâq tradition such as Ījī's are said to represent the religious tradition of Islamic ethical philosophy. I argue, however, that textbook writers in the late Tanzimat and early Hamidian Ottoman Empire drew on both of these ethical traditions uncritically, and that the heterogeneity of nineteenth-century Ottoman public school morality texts makes it inappropriate to characterize them as ‘religious’ or ‘secular’. I suggest, instead, that these types of morality text may be more fruitfully analysed with an eye to the types of subjectivity they seek to generate rather than their ‘religious’ or ‘secular’ content. (shrink)

Article traitant du problème des Ajnād omeyyades. Il s'agit des vastes districts militaires constitués dans l'Orient byzantin après la conquête arabe et qui ont persisté jusqu'à l'époque médiévale. Ils sont la source d'un des problèmes majeurs de l'histoire omeyyade comme de celle de l'Orient proto-byzantin.

In lattice theory the two well known equational class of lattices are the distributive lattices and the modular lattices. All distributive lattices are modular however a modular lattice in general is not distributive. In this book, new classes of lattices called supermodular lattices and semi-supermodular lattices are introduced and characterized.

Name der Zeitschrift: Archiv für Geschichte der Philosophie Jahrgang: 99 Heft: 3 Seiten: 237-299.

The Reconstruction of Religious Thought in Islam (1930) is Muhammad Iqbal's major philosophic work: a series of profound reflections on the perennial conflict among science, religion, and philosophy, culminating in new visions of the unity of human knowledge, of the human spirit, and of God. Iqbal's thought contributed significantly to the establishment of Pakistan, to the religious and political ideals of the Iranian Revolution, and to the survival of Muslim identity in parts of the former USSR. It now serves as (...) new bridge between East and West and between Islam and the other Religions of the Book. With a new Introduction by Javed Majeed, this edition of The Reconstruction opens the teachings of Iqbal to the modern, Western reader. It will be essential reading for all those interested in Islamic intellectual history, the renewal of Islam in the modern world, and political theory of Islam's relationship to the West. (shrink)

We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ.

Physically and intellectually, man is not the same as a million years ago. This “improvement” in humans has occurred over a period of time and not as a result of any outside biotechnical intervention. So, the question is what is the need now? The fine line between what can be done technically and what should be done morally is the reason for biomedical ethics. What is the nature of man, and what is his relationship with his creator and his environment? (...) Whose interest are we as scientists and physicians to guard? What are the rights of the unborn, and who protects those rights? While seeking medical treatment for infertility and reconstructive surgery for a malformation or genetic manipulation for a genetic disease might perhaps be appropriate and recommended, is it also appropriate to create a super healthy, super human with genetic manipulation? If so, then are we embarking on the path of ethnic cleansing of humans of lesser ability, and is it appropriate to discriminate? In this paper, such questions and concerns are discussed from an Islamic perspective. (shrink)

Academic corruption (AC) is a threat to the world community that disturbs the mission of the university and negatively affects the quality of higher education (HE).This study aimed to design a model to reduce academic corruption (RAC) in HE. The qualitative research method is due to the grounded theory, which was implemented in the population of faculty members based on purposive random sampling with a sample of n = 22 until theoretical saturation. The research tool was a semi-structured interview. The (...) analysis method was based on open, axial and selective coding. The results showed that the causal variables of AC were identified in five main categories of Weak laws, and regulations, weak meritocracy, reduction in the quality of education, weak values and ethics and weakness in improvement and empowerment. The contextual factors were discovered across five categories: motivational weakness, time constraints and pressure, utilitarianism and one-sidedness, poor societal welfare, and weak attitude. The confounding variables of AC were identified in four categories of economic weakness, not focusing on society, cultural and political weakness, centralization and decision-making institutions, and strategies to RAC were proposed in eight transparency and accountability, equality and justice, quality of education and research, relationship between university and society, structural and organizational, spirituality and ethics, laws and regulations, psychological categories. Then, five consequential categories of organizational health, organizational excellence, social capital, strengthening participation, and excellence of cultural values were presented to RAC. (shrink)

Scholars have studied multiple femininities across different spaces by attributing variation to cultural/spatial contexts. They have studied multiple femininities in the same space by attributing variation to class/race positions. However, we do not yet know how women from the same cultural, class, and race locations may enact multiple femininities in the same context. Drawing on observations and interviews in a women-only bazaar in Pakistan, I show that multiple femininities can exist within the same space and be enacted by the same (...) individual. Working-class women workers in Meena Bazaar switched between performances of “pariah femininity” and “hegemonic femininity,” patching together contradictory femininities to secure different types of capital at the organizational and personal levels. Pariah femininities enabled access to economic capital but typically decreased women’s symbolic capital, whereas hegemonic femininities generated symbolic capital but could block or enable access to economic capital. The concept of a patchwork performance of femininity explains how and why working-class women simultaneously embody idealized and stigmatized forms of femininity. Furthermore, it captures how managerial regimes and personal struggles for class distinction interact to produce contradictory gender performances. By examining gender performances in the context of social stratification, I explain the structural underpinnings of working-class women’s gendered struggles for respectability and work. (shrink)

This study investigates the relationships between religious fundamentalism, collective identity, and individuality. The questions addressed in this research are: Who is joining fundamentalist student organizations? Why and how are they doing so? And, how do these organizations maintain their collective identity in the face of ever-growing individualism? To gain an adequate understanding of the fundamentalist characteristics of such organizations, we first explored the existing theoretical literature. Then, we performed a qualitative case study of two student organizations at the University of (...) Guilan: the Basij and Welayat Lovers. Our findings indicate that although these organizations strongly tend to define and impose a unified collective identity on their members, some important social trends, such as the expansion of secularist higher education and rising levels of students' knowledge, skills, and their reinforced individuality, leave little room for the growth of a fundamentalist collective identity. (shrink)

The main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory, which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a specific form of dialogical interaction governed by the development rule known as formal rule or Socratic rule, which prescribes the use of copy-cat moves. It will be shown, as (...) an example, how to develop the core of a winning strategy for Per Martin-Löf’s demonstration of the Axiom of Choice, who based his proof in the judgemental equality between the function in the antecedent and the function occurring in the consequent of the axiom. (shrink)

In January 2023, the Science and Security Board of the Bulletin of the Atomic Scientists moved the hands of the Doomsday Clock forward to 90 s before midnight.

Over 200 health journals call on the United Nations, political leaders, and health professionals to recognize that climate change and biodiversity loss are one indivisible crisis and must be tackle...

Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory (CTT) has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT- rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope (...) that the following paper will contribute to a better understanding of the dialogical notion of meaning.La bibliografía reciente sobre lógica dialógica, estudia el caso de tonk y la noción de armonia en el contexto de una teoría del significado basado en reglas. Ahora bien, desde la publicación de tales textos, la teoría dialógica ha sido vinculada con la Teoría Constructiva de Tipos (CTT). El objetivo principal del presente artículo es mostrar que, desde un punto de vista dialógico, la armonía de las reglas de la CTT es consecuencia de un nivel más fundamental de significado caracterizado por la independencia de los jugadores. Esperamos que el presente trabajo contribuya a una mejor comprensión de la nocion dialógica de significado. (shrink)

RésuméDans cette étude j'examine la théorie des propositions conditionnelles d'Alfarabi et son système des syllogismes conditionnels. J'établis qu'Alfarabi a formulé sa théorie des propositions conditionnelles et syllogismes conditionnels comme une extension d'une théorie de langue dans laquelle le contexte dialectique demeure au centre de l'analyse des propositions et des syllogismes. Je démontre que selon l'avis d'Alfarabi les propositions conditionnelles ont conditions de vérité. Je fournis des conditions de vérité conjecturales et des conditions de validité conjecturales. Je suggère que ces conditions (...) de vérité et ces conditions de validité sont sensibles aux conditions pragmatiques dans lesquelles les prémisses conditionnelles et les arguments conditionnels sont utilisés. Je conclus que le pragmatisme logique d'Alfarabi est une conséquence de son adoption d'une théorie logique sensible au contexte dialectique d'antiquité tardive plutôt qu'une conséquence de développement de la théorie syllogistique formelle d'Aristote dans lesPremiers Analytiques. (shrink)